Executing medical logic modules expressed in ArdenML using Drools

Executing medical logic modules expressed in ArdenML using Drools

The Arden Syntax is an HL7 standard language for representing medical knowledge as logic statements. Despite nearly 2 decades of availability, Arden Syntax has not been widely used. This has been attributed to the lack of a generally available compiler to implement the logic, to Arden's complex syntax, to the challenges of mapping local data to data references in the Medical Logic Modules (MLMs...

Using GEM-encoded guidelines to generate medical logic modules

Among the most effective strategies for changing the process and outcomes of clinical care are those that make use of computer-mediated decision support. A variety of representation models that facilitate computer-based implementation of medical knowledge have been published, including the Guideline Elements Model (GEM) and the Arden Syntax for Medical Logic Modules (MLMs). We describe an XML-b...

Executing Metric Temporal Logic ?

Executing Temporal Logic Programs

Temporal logic is gaining recognition as an attractive and versatile formalism for rigorously specifying and reasoning about computer programs, digital circuits and message-passing systems. This book introduces Tempura, a programming language based on temporal logic. Tempura provides a way of directly executing suitable temporal logic specifications of digital circuits, parallel programs and ot...

Executing Suspended Logic Programs

We present an extension of Logic Programming LP which in addition to ordi nary LP clauses also includes integrity constraints explicit representation of disjunction in the bodies of clauses and in goals and suspension of atoms as in concurrent logic languages The resulting framework aims to unify Constraint Logic Programming CLP Abductive Logic Programming ALP and Semantic Query Optimisation SQ...